perm filename REPRES[LET,JMC] blob sn#081586 filedate 1974-01-11 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	REPRESENTATION THEORY
C00003 ENDMK
CāŠ—;
REPRESENTATION THEORY

	Work continued on how to represent information about the world
sufficient to determine that an action strategy will achieve a goal.
Improved treatments were found for describing events that occur
in parallel.  Improvements were also made in expressing the facts in
first order logic with set theory using the FOL proof checker.